# -*- mode: snippet -*-
# name: Next Obligation
# key: nobl
# uuid: nobl
# --
Next Obligation.
$1
Qed.
